Refactoring OCL annotated UML class diagrams
نویسندگان
چکیده
منابع مشابه
Formal Refactoring for UML Class Diagrams
Refactoring UML models for evolution is usually carried out in an ad hoc way. These transformations can become an issue, since it is hard to ensure that the semantics of models is preserved. We provide a set of semantics-preserving transformations for UML class diagrams annotaded with OCL. Using the proposed transformations, software designers can safely define larger transformations and detect...
متن کاملDeclarative Workflow Modeling with UML Class Diagrams and OCL
This paper describes an approach of modeling workflows with UML class diagrams and OCL constraints [OCL06] in a declarative way. These are modeled in the UML tool USE [USE08] that can generate object diagrams (snapshots) out of UML class diagrams. USE checks specified OCL constraints against the generated snapshots. With the declarative workflow modeling approach presented here, activity model ...
متن کاملReasoning on UML Class Diagrams with OCL Constraints
We propose a new approach to check whether a given UML class diagram with its OCL integrity constraints satisfies a set of desirable properties such as schema satisfiability, class liveliness, redundancy of integrity constraints or reachability of partially specified states. Our approach is based on translating both the class diagram and the OCL constraints into a logic representation. Then, we...
متن کاملSynchronizing Refactored UML Class Diagrams and OCL Constraints
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically updated each time the underlying diagram is refactored. All our refactoring rules are formally specified using a QVT-based graphical formalism and have been implemented in our tool ROCLET. I. REFACTORING CLASS DIAGRA...
متن کاملEquational Specification of UML+OCL Static Class Diagrams
In this paper we propose an equational specification of UML+OCL static class diagrams that provides a formal foundation for automatically validating UML object diagrams with respect to OCL constraints. Basically, class and object UML diagrams are specified as membership equational theories, and OCL expressions are represented as terms over extensions of those theories. Then, validating object d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2007
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-007-0056-x